Fair Exchange

transition relations. In Proc. 16th Ann. IEEE Symp. on Logic in Computer Science, Boston, MA, June, pp. 51–58.IEEE Computer Society Press, Los Alamitos, CA. [77] Kremer, S. and Raskin, J.-F. (2002) Game analysis of abuse-free contract signing. In Proc. 15th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada,June. IEEE Computer Society Press, Los Alamitos, CA. [78] Kremer, S. and Raskin, J.-F. (2000) Formal Verification ofNon-repudiation Protocols—A Game Approach. TechnicalReport 431, Université Libre de Bruxelles, Belgium, presented at the Workshop on Formal Methods and ComputerSecurity, Chicago, 2000. [79] Pagnia, H., Vogt, H., Gärtner, F. C. andWilhelm, U. G. (2000)Solving fair exchange with mobile agents. In ASA/MA 2000,Zürich, Switzerland, September. Lecture Notes in ComputerScience, 1882, 57–72. Springer, Berlin. THE COMPUTER JOURNAL, Vol. 46, No. 1, 2003